Process algebra and non-interference

Process Algebra and Non-Interference

The information security community has long debated the exact definition of the term ‘security’. Even if we focus on the more specific notion of confidentiality the precise definition remains controversial. In their seminal paper [4], Goguen and Meseguer took an important step towards a formalisation of the notion of absence of information flow with the concept of non-interference. This too was...

Non Interleaving Process Algebra

Reduction and Topology, p. 28.

Non-regular iterators in process algebra

We consider three forms of non-regular iteration in process algebra: the push-down operation $, de5ned by xy = x((xy)(xy)) + y, the nesting operation ], de5ned by xy = x((xy)x) + y, and the back and forth operation , de5ned by x y= x((x y)y) + y. In the process algebraic framework ACP with abstraction and one of $, ] or we provide de5nitions of the following standard processes: stack, context-f...

Probabilistic Process Algebra Probabilistic Process Algebra

Process Algebra

Process algebra is the study of distributed or parallel systems by algebraic means. Originating in computer science, process algebra has been extended in recent years to encompass not just discrete-event systems, but also continuously evolving phenomena, resulting in so-called hybrid process algebras. A hybrid process algebra can be used for the specification, simulation, control and verificati...